Source: 3rd International workshop on IoT interoperability and the web of things (IIWOT'24)https://hal-emse.ccsd.cnrs.fr/emse-043121533rd International workshop on IoT interoperability and the web

Record details

Read More Add to Saved list

Conference

Improving maintainability of calendar-based IoT-driven office with knowledge graph and rule-based reasoning

Authors : Amagai, Sogo; Maret, Pierre; Singh, Kamal ...

Subjects: Internet of Things Knowledge graph rule-based reasoning; Internet of Things; Knowledge graphNagoya; Japan

Source: The 13th International conference on the Internet of Things ; https://hal-emse.ccsd.cnrs.fr/emse-04316312 ; The 13th International conference on the Internet of Things, Nov 2023, Nagoya, Japan.

Record details

Read More Add to Saved list

Conference

LiRoT: A lightweight incremental reasoner for the Web of Things ; LiRoT : Un raisonneur incrémental léger pour le Web des Objets

Authors : Bento, Alexandre; Médini, Lionel; Singh, Kamal ...

Subjects: Reasoning; Embedded programming; Artificial intelligenceVilleurbanne; France

Source: Colloque 2023 du GDR SoC2 ; https://hal.science/hal-04127326 ; Colloque 2023 du GDR SoC2, Jun 2023, Villeurbanne, France

Record details

Read More Add to Saved list

Conference

Do Arduinos dream of efficient reasoners?

Authors : Bento, Alexandre; Médini, Lionel; Singh, Kamal ...

Subjects: Semantic Web; Reasoning; Web of ThingsHersonissos; Greece

Source: European Semantic Web Conference ; https://hal.science/hal-03607825 ; European Semantic Web Conference, May 2022, Hersonissos, Greece

Record details

Read More Add to Saved list

Conference

Architectural Concerns for Constrained Stream Reasoning

Authors : Médini, Lionel; Bento, Alexandre; Atemezing, Ghislain ...

Subjects: IoT; WoT; semantic WoTMilan; Italy

Source: Stream Reasoning Workshop ; https://hal.science/hal-03371975 ; Stream Reasoning Workshop, Oct 2021, Milan, Italy ;

Record details

Read More Add to Saved list

Conference

Raisonnement embarqué et distribué pour le Web des Objets : un état de l’art

Authors : Bento, Alexandre; Médini, Lionel; Singh, Kamal ...

Subjects: Web of things; reasoning; distributed architectureBordeaux; France

Source: Journées Francophones d'Ingénierie des Connaissances (IC) Plate-Forme Intelligence Artificielle (PFIA'21) ; https://hal-emse.ccsd.cnrs.fr/emse-03260470 ; Journées Francophones d'Ingénierie des

Record details

Read More Add to Saved list

Conference

The French Correction: When Retrieval is Harder to Specify than Adaptation

Authors : Lepage, Yves; Lieber, Jean; Mornard, Isabelle ...

Subjects: case-based reasoning; retrieval; analogySalamanca / Virtual; Spain

Source: ICCBR 2020 - 28th International Conference on Case-Based Reasoning ; https://inria.hal.science/hal-02964141 ; ICCBR 2020 - 28th International Conference on Case-Based

Record details

Read More Add to Saved list

Academic Journal

A Critical Method for the Evaluation of Evidence: François Gorphe’s (1889-1959) Contribution to a Science of Proof à la française

Authors : Leclerc, Olivier;

Subjects: History of evidence theory; Evidential reasoning; Science of proof

Source: ISSN: 2604-6202 ; Quaestio facti. International Journal on Evidential Legal Reasoning ; https://shs.hal.science/halshs-03108463 ; Quaestio facti. International

Record details

Read More Add to Saved list

Academic Journal

Neural representations of transitive relations predict current and future math calculation skills in children

Authors : Schwartz, Flora; Epinat-Duclos, Justine; Léone, Jessica ...

Subjects: math learning; transitive reasoning; arithmetic

Source: ISSN: 0028-3932.

Record details

Read More Add to Saved list

Conference

Self-Correcting Unsound Reasoning Agents (DARe 2017)

Authors : Chevalier, Yannick;

Subjects: Reasoning Agents; Unsound Reasoning; First-Order LogicEspoo; Finland

Source: DARe 2017: Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic

Record details

Read More Add to Saved list